// JavaScript Document
function show(menu)
{
	menu.getElementsByTagName("ul")[0].style.display="block";
}
function hide(menu)
{
	menu.getElementsByTagName("ul")[0].style.display="none";
}